#include <am.h>
// #include <klib.h>
#include "coremark.h"
#include "core_portme.h"
#include <klib-macros.h>

int main(const char *args) {
  coremark_benchmark();
  return 0;
}
